A note on tall cardinals and level by level equivalence
نویسنده
چکیده
Starting from a model V “ZFC + GCH + κ is supercompact + No cardinal is supercompact up to a measurable cardinal”, we force and construct a model V P such that V P “ZFC + κ is supercompact + No cardinal is supercompact up to a measurable cardinal + δ is measurable iff δ is tall” in which level by level equivalence between strong compactness and supercompactness holds. This extends and generalizes both [4, Theorem 1] and the results of [5].
منابع مشابه
Indestructibility, Strong Compactness, and Level by Level Equivalence
We show the relative consistency of the existence of two strongly compact cardinals κ1 and κ2 which exhibit indestructibility properties for their strong compactness, together with level by level equivalence between strong compactness and supercompactness holding at all measurable cardinals except for κ1. In the model constructed, κ1’s strong compactness is indestructible under arbitrary κ1-dir...
متن کاملHod-supercompactness, Indestructibility, and Level by Level Equivalence
In an attempt to extend the property of being supercompact but not hod-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not hod-supercompact ...
متن کاملSingular Failures of GCH and Level by Level Equivalence ∗†
We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is an unbounded set of singular cardinals which witness the only failures of GCH in the universe. In this model, the structure of the class of supercompact cardinals can be arbitrary.
متن کاملTallness and level by level equivalence and inequivalence
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness ...
متن کاملStationary Reflection and Level by Level Equivalence
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jonsson cardinal is weakly compact. On the other hand, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 62 شماره
صفحات -
تاریخ انتشار 2016